Constructing illoyal algebra-valued models of set theory
نویسندگان
چکیده
Abstract An algebra-valued model of set theory is called loyal to its algebra if the and have same propositional logic; it faithful all elements are truth values a sentence language in model. We observe that non-trivial automorphisms result models not apply this construct three classes illoyal models: tail stretches, transposition twists, maximal twists.
منابع مشابه
Generalized Algebra-Valued Models of Set Theory
We generalize the construction of lattice-valued models of set theory due to Takeuti, Titani, Kozawa and Ozawa to a wider class of algebras and show that this yields a model of a paraconsistent logic that validates all axioms of the negation-free fragment of Zermelo-Fraenkel set theory. §
متن کاملOrthomodular-Valued Models for quantum Set Theory
Orthomodular logic represented by a complete orthomodular lattice has been studied as a pertinent generalization of the two-valued logic, Boolean-valued logic, and quantum logic. In this paper, we introduce orthomodular logic valued models for set theory generalizing quantum logic valued models introduced by Takeuti as well as Boolean-valued models introduced by Scott and Solovay, and prove a g...
متن کاملInterpreting lattice-valued set theory in fuzzy set theory
An interpretation of lattice-valued logic, defined by Titani, in basic fuzzy logic, defined by Hájek, is presented. Moreover, Titani’s axioms of lattice-valued set theory are interpreted in fuzzy set theory, under slight modifications of the fuzzy set theory axiomatics.
متن کاملHomological Algebra and Set Theory
Assuming the Axiom of Constructibility, necessary and sufficient conditions are given for the vanishing of Ext\ for rings A of global dimension 1. Using Martin's Axiom, the necessity of these conditions is shown not to be a theorem of ZFC. Applications are given to abelian group theory, including a partial solution (assuming V = L) to a problem of Baer on the splitting of abelian groups. Some i...
متن کاملSet Theory in Linear Algebra
Set theory language is an essential prerequisite for the cognition of linear algebra concepts. Many difficulties of cognition in linear algebra may be explained by the lack of mastery of set theory concepts. In the paper, an in depth discussion of documented categories of difficulties originated from set theory is provided.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Algebra Universalis
سال: 2021
ISSN: ['0002-5240', '1420-8911']
DOI: https://doi.org/10.1007/s00012-021-00735-4